$\forall$$a$, $b$, $c$:$\mathbb{Q}$. $a$ $<$ $b$ $<$ $c$ $\in$ $\mathbb{P}$